Albert N. SHIRYAEV Steklov Mathematical Institute Optimal stopping procedures in FINANCIAL MODELS with

Source URL: cemapre.iseg.ulisboa.pt

The 11th MSJ-SI Mathematical Society of Japan - Seasonal Institute The Role of Metrics in the Theory of Partial Differential Equations

Source URL: www.math.sci.hokudai.ac.jp

Preface During the academic year 1977–78 the authors undertook to present to graduate students at the Courant Institute of Mathematical Sciences (CIMS) a course devoted to mathematical models in developmental biology.

Source URL: bookstore.ams.org

Program of the Conference CNSASteklov Mathematical Institute (Fontanka,

Source URL: www.pdmi.ras.ru

Inventory and transport of plastic debris in the Laurentian Great Lakes Matthew J. Hoffmana,1 , Eric Hittingerb a School of Mathematical Sciences, Rochester Institute of Technology, 85 Lomb Memorial

Source URL: people.rit.edu

The Okounkov-Vershik approach to the representation theory of G ∼ Sn Ashish Mishra Chennai Mathematical Institute H1, SIPCOT IT Park, Siruseri Kelambakkam, Chennai, INDIA

Source URL: www.math.iitb.ac.in

DISTRIBUTION OF SEQUENCES: A THEORY Oto Strauch Mathematical Institute of the Slovak Academy of Sciences ˇ anikova 49

Source URL: www.mat.savba.sk

Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri

Source URL: www.prismmodelchecker.org

• Systems science
• Systems engineering
• Software engineering
• Formal methods
• Systems theory
• Theoretical computer science
• Model checkers
• Software quality
• Model checking
• PRISM model checker
• Reliability engineering
• Formal verification

Minimum Energy for Controllable Nonlinear Systems Mihai POPESCU Institute of Mathematical Statistics and Applied Mathematics of the Romanian Academy, PO. Box 1-24, RO, Bucharest, Romania, e-mail: ima popescu@yahoo

Source URL: www.ima.ro

Evaluation Summary Report Working Group: Spatial Cell Simulations December 1-3, 2015 Pamela Bishop Associate Director for STEM Evaluation National Institute for Mathematical and Biological Synthesis

Source URL: www.nimbios.org